[[Ordinal category]]
# Interval category

The **interval category** $\underline 2$ is a [[posetal category]] with $\Ob(\underline 2) = \{ 0,1 \}$ and a single non-indentity morphism $0 \to 1$, #m/def/cat 
thus it is the [[Von Neumann ordinal]] $2$ viewed as a category.

#
---
#state/develop | #lang/en | #SemBr